mcheck: Small fix to Intel CMCI code

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/arch/x86/cpu/mcheck/mce_intel.c b/xen/arch/x86/cpu/mcheck/mce_intel.c
index e1c41cd01da66ca8582f55fee22daba73fc7c729..01360d5ff5b1cb0874ffc4b0fd0dfd932cc0d825 100644 (file)
--- a/xen/arch/x86/cpu/mcheck/mce_intel.c
+++ b/xen/arch/x86/cpu/mcheck/mce_intel.c
@@ -198,7 +198,6 @@ static void cmci_discover(void)
 {
     unsigned long flags;
     int i;
-    struct mc_info *mi = NULL;
     mctelem_cookie_t mctc;
     struct mca_summary bs;
 
@@ -226,7 +225,7 @@ static void cmci_discover(void)
             mctelem_commit(mctc);
             send_guest_global_virq(dom0, VIRQ_MCA);
         } else {
-            x86_mcinfo_dump(mi);
+            x86_mcinfo_dump(mctelem_dataptr(mctc));
             mctelem_dismiss(mctc);
        }
     } else if (mctc != NULL)
@@ -326,7 +325,6 @@ static void intel_init_cmci(struct cpuinfo_x86 *c)
 
 fastcall void smp_cmci_interrupt(struct cpu_user_regs *regs)
 {
-    struct mc_info *mi = NULL;
     mctelem_cookie_t mctc;
     struct mca_summary bs;
 
@@ -341,9 +339,9 @@ fastcall void smp_cmci_interrupt(struct cpu_user_regs *regs)
             mctelem_commit(mctc);
             send_guest_global_virq(dom0, VIRQ_MCA);
         } else {
-            x86_mcinfo_dump(mi);
+            x86_mcinfo_dump(mctelem_dataptr(mctc));
             mctelem_dismiss(mctc);
-       }
+        }
     } else if (mctc != NULL)
         mctelem_dismiss(mctc);